Natural deduction - PDFSEARCH.IO - Document Search Engine

Natural deduction
Results: 402

#	Item
111	Type Theory & Functional Programming Simon Thompson Computing Laboratory, University of Kent March 1999 Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2012-11-02 09:24:49 Theoretical computer science Logic in computer science Lambda calculus Proof theory Dependently typed programming Curry–Howard correspondence Intuitionistic type theory Combinatory logic Natural deduction Mathematics Mathematical logic Type theory
112	Dual Representations for Dynamic Programming and Reinforcement Learning Tao Wang Michael Bowling Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2007-01-10 01:54:58 Abstract algebra Valuation Markov chain Markov decision process Connection Pi Natural deduction Algebraic independence Statistics Markov processes Mathematical analysis
113	LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Proof theory Propositional calculus Dependently typed programming Type theory Formal languages First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
114	Typed Iterators for XML ∗ Giuseppe Castagna Kim Nguyễn PPS (CNRS) - Université Paris 7 - Paris, France Add to Reading List Source URL: www.lri.fr Language: English - Date: 2010-10-14 05:33:04 Mathematics Linear filters Filter General topology Order theory Type system Natural deduction Kalman filter Electronic engineering Filter theory Electronics
115	The Inverse Method for Many-Valued Logics? Laura Kov´ acs1 , Andrei Mantsivoda2 , and Andrei Voronkov3 1 Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:24:41 Sequent Intuitionistic logic Method of analytic tableaux Monotonicity of entailment Proof calculus Rule of inference Proof procedure Modal logic Natural deduction Logic Mathematical logic Proof theory
116	Journal of Machine Learning ResearchSubmitted 1/08; Published ??/?? Dual Representations for Dynamic Programming Tao Wang Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2008-01-29 00:53:07 Mathematics Valuation Markov decision process Markov chain Sheaf Duality Representation theory Natural deduction Statistics Abstract algebra Markov processes
117	Certain Answers for XML Queries Claire David Leonid Libkin Filip Murlak Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-04-02 11:57:48 Symbol Mathematics Homotopy theory Natural deduction Relational model Relational algebra Valuation
118	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A list-machine benchmark for mechanized metatheory Andrew W. Appel · Robert Dockins · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-04-11 03:13:40 Symbol Natural deduction
119	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A list-machine benchmark for mechanized metatheory Andrew W. Appel · Robert Dockins · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2011-04-11 03:13:40 Symbol Natural deduction
120	Double Negation Translations as Morphisms Fr´ed´eric Gilbert1 and Olivier Hermant2 1 2 Ecole des Ponts ParisTech, Inria Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 11:05:12 Deduction Logic in computer science Propositional calculus Entailment Metalogic Sequent calculus Intuitionistic logic Symbol Natural deduction Logic Mathematical logic Proof theory

UPDATE